Synchronization by Nonlinear Frequency Pulling

We analyze a model for the synchronization of nonlinear oscillators due to reactive coupling and nonlinear frequency pulling motivated by the physics of arrays of nanoscale oscillators. We study the model for the mean field case of all-to-all coupling, deriving results for the onset of synchronization as the coupling or nonlinearity increase, and the fully locked state when all the oscillators evolve with the same frequency

Model-based traceability

Many organizations invest considerable cost and effort in building traceability matrices in order to comply with regulatory requirements or process improvement initiatives. Unfortunately, these matrices are frequently left un-used and project stakeholders continue to perform critical software engineering activities such as change impact analysis or requirements satisfaction assessment without benefit of the established traces. A major reason for this is the lack of a process framework and associated tools to support the use of these trace matrices in a strategic way. In this position paper, we present a model-based approach designed to help organizations gain full benefit from the traces they develop and to allow project stakeholders to plan, generate, and execute trace strategies in a graphical modeling environment. The approach includes a standard notation for capturing strategic traceability decisions in the form of a graph, and also notation for modeling reusable trace queries using augmented sequence diagrams. All of the model elements, including project specific data, are represented using XML. The approach is demonstrated through examples from a traffic simulator project composed of requirements, UML class diagrams, code, test cases, and test case results. 1

Finding and Resolving Security Misusability with Misusability Cases

Although widely used for both security and usability concerns, scenarios used in security design may not necessarily inform the design of usability, and vice- versa. One way of using scenarios to bridge security and usability involves explicitly describing how design deci- sions can lead to users inadvertently exploiting vulnera- bilities to carry out their production tasks. This paper describes how misusability cases, scenarios that describe how design decisions may lead to usability problems sub- sequently leading to system misuse, address this problem. We describe the related work upon which misusability cases are based before presenting the approach, and illus- trating its application using a case study example. Finally, we describe some findings from this approach that further inform the design of usable and secure systems

Identifying Implicit Vulnerabilities through Personas as Goal Models

When used in requirements processes and tools, personas have the potential to identify vulnerabilities resulting from misalignment between user expectations and system goals. Typically, however, this potential is unfulfilled as personas and system goals are captured with different mindsets, by different teams, and for different purposes. If personas are visualised as goal models, it may be easier for stakeholders to see implications of their goals being satisfied or denied, and designers to incorporate the creation and analysis of such models into the broader RE tool-chain. This paper outlines a tool-supported approach for finding implicit vulnerabilities from user and system goals by reframing personas as social goal models. We illustrate this approach with a case study where previously hidden vulnerabilities based on human behaviour were identified

Gain control network conditions in early sensory coding

Gain control is essential for the proper function of any sensory system. However, the precise mechanisms for achieving effective gain control in the brain are unknown. Based on our understanding of the existence and strength of connections in the insect olfactory system, we analyze the conditions that lead to controlled gain in a randomly connected network of excitatory and inhibitory neurons. We consider two scenarios for the variation of input into the system. In the first case, the intensity of the sensory input controls the input currents to a fixed proportion of neurons of the excitatory and inhibitory populations. In the second case, increasing intensity of the sensory stimulus will both, recruit an increasing number of neurons that receive input and change the input current that they receive. Using a mean field approximation for the network activity we derive relationships between the parameters of the network that ensure that the overall level of activity of the excitatory population remains unchanged for increasing intensity of the external stimulation. We find that, first, the main parameters that regulate network gain are the probabilities of connections from the inhibitory population to the excitatory population and of the connections within the inhibitory population. Second, we show that strict gain control is not achievable in a random network in the second case, when the input recruits an increasing number of neurons. Finally, we confirm that the gain control conditions derived from the mean field approximation are valid in simulations of firing rate models and Hodgkin-Huxley conductance based models

Elongase Reactions as Control Points in Long-Chain Polyunsaturated Fatty Acid Synthesis

Extent: 9p.Background: Δ6-Desaturase (Fads2) is widely regarded as rate-limiting in the conversion of dietary α-linolenic acid (18:3n-3; ALA) to the long-chain omega-3 polyunsaturated fatty acid docosahexaenoic acid (22:6n-3; DHA). However, increasing dietary ALA or the direct Fads2 product, stearidonic acid (18:4n-3; SDA), increases tissue levels of eicosapentaenoic acid (20:5n-3; EPA) and docosapentaenoic acid (22:5n-3; DPA), but not DHA. These observations suggest that one or more control points must exist beyond ALA metabolism by Fads2. One possible control point is a second reaction involving Fads2 itself, since this enzyme catalyses desaturation of 24:5n-3 to 24:6n-3, as well as ALA to SDA. However, metabolism of EPA and DPA both require elongation reactions. This study examined the activities of two elongase enzymes as well as the second reaction of Fads2 in order to concentrate on the metabolism of EPA to DHA. Methodology/Principal Findings: The substrate selectivities, competitive substrate interactions and dose response curves of the rat elongases, Elovl2 and Elovl5 were determined after expression of the enzymes in yeast. The competitive substrate interactions for rat Fads2 were also examined. Rat Elovl2 was active with C20 and C22 polyunsaturated fatty acids and this single enzyme catalysed the sequential elongation reactions of EPA→DPA→24:5n-3. The second reaction DPA→24:5n-3 appeared to be saturated at substrate concentrations not saturating for the first reaction EPA→DPA. ALA dose-dependently inhibited Fads2 conversion of 24:5n-3 to 24:6n-3. Conclusions: The competition between ALA and 24:5n-3 for Fads2 may explain the decrease in DHA levels observed after certain intakes of dietary ALA have been exceeded. In addition, the apparent saturation of the second Elovl2 reaction, DPA→24:5n-3, provides further explanations for the accumulation of DPA when ALA, SDA or EPA is provided in the diet. This study suggests that Elovl2 will be critical in understanding if DHA synthesis can be increased by dietary means.Melissa K. Gregory, Robert A. Gibson, Rebecca J. Cook-Johnson, Leslie G. Cleland and Michael J. Jame

Single hadron response measurement and calorimeter jet energy scale uncertainty with the ATLAS detector at the LHC

The uncertainty on the calorimeter energy response to jets of particles is derived for the ATLAS experiment at the Large Hadron Collider (LHC). First, the calorimeter response to single isolated charged hadrons is measured and compared to the Monte Carlo simulation using proton-proton collisions at centre-of-mass energies of sqrt(s) = 900 GeV and 7 TeV collected during 2009 and 2010. Then, using the decay of K_s and Lambda particles, the calorimeter response to specific types of particles (positively and negatively charged pions, protons, and anti-protons) is measured and compared to the Monte Carlo predictions. Finally, the jet energy scale uncertainty is determined by propagating the response uncertainty for single charged and neutral particles to jets. The response uncertainty is 2-5% for central isolated hadrons and 1-3% for the final calorimeter jet energy scale.Comment: 24 pages plus author list (36 pages total), 23 figures, 1 table, submitted to European Physical Journal

Standalone vertex finding in the ATLAS muon spectrometer

A dedicated reconstruction algorithm to find decay vertices in the ATLAS muon spectrometer is presented. The algorithm searches the region just upstream of or inside the muon spectrometer volume for multi-particle vertices that originate from the decay of particles with long decay paths. The performance of the algorithm is evaluated using both a sample of simulated Higgs boson events, in which the Higgs boson decays to long-lived neutral particles that in turn decay to bbar b final states, and pp collision data at √s = 7 TeV collected with the ATLAS detector at the LHC during 2011

Measurements of Higgs boson production and couplings in diboson final states with the ATLAS detector at the LHC

Measurements are presented of production properties and couplings of the recently discovered Higgs boson using the decays into boson pairs, H →γ γ, H → Z Z∗ →4l and H →W W∗ →lνlν. The results are based on the complete pp collision data sample recorded by the ATLAS experiment at the CERN Large Hadron Collider at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV, corresponding to an integrated luminosity of about 25 fb−1. Evidence for Higgs boson production through vector-boson fusion is reported. Results of combined fits probing Higgs boson couplings to fermions and bosons, as well as anomalous contributions to loop-induced production and decay modes, are presented. All measurements are consistent with expectations for the Standard Model Higgs boson